بحرالعلوم ، محمد مهدى بن مرتضى ، 1155 - 1212 ق شرحى است بر كتاب « وافية الاصول » تصنيف مولى عبدالله بن محمد بشرويه اى تونى خراسانى متوفى 1071 ه - . ق . بحرالعلوم ، اين شرح تحقيقى و مفصل را به درخواست سيد محسن اعرجى ساخته است و به دليل طاعون سال 1186 ه - . ق . درنجف و مسافرت به خراسان ، ناتمام مانده ، و از مبحث وضع تا اواخر مبحث حقيقت و مجاز را بيشتر ننوشته است . ( فاضل ) [ الذريعة 6 / 230 و 7 / 51 و 14 / 167 ؛ مرعشى 2 / 257 ؛ مجلس 36 / 248 ؛ الفبايى آستان قدس 369 ؛ فهرست سپهسالار 4 / 280 ؛ كتابخانه جامع گوهرشاد 4 / 2039 و 4 / 2068 و 4 / 2091 ؛ آية الله فاضل خوانسارى 1117 / 183 ؛ فهرست آستان قدس 6 / 59 و 6 / 60 و 16 / 97 و 16 / 301 - 305 و 16 / 398 ] 4783 ) نسخه شماره : 2 / 2252 - 142 / 12 آغاز : الحمدلله رب العالمين والصلوة والسلام على محمدوآله اجمعين والله المستعان وعليه التكلان قوله اللفظ ان استعمل فيما وضع له حقيقة الخ جعل المقسم مطلق اللفظ المتناول للمفرد . انجام : ان قصد القائل زيد اسد ادعاء ان زيدا فرد من افراد الاسد مبالغة فى دعوى الشجاعة كما فى قوله رأيت اسدا وانما الفرق بينهما ان . تم هذه النسخة . . . نسخ ، محمد صادق بن محمد على يزدى براى سيد مراد ، 1233 ، جلد : تيماج سرخ مجدول گرهى ضربى ، 63 برگ ، 25 سطر 4784 ) نسخه شماره : 2 / 3557 - 77 / 18 نسخ ، بى كا ، 8 ذيحجه 1226 ، جاى عناوين سفيد مانده ، جلد : تيماج مشكى ، 92 برگ ، 20 سطر 4785 ) نسخه شماره : 3 / 3976 - 96 / 20 نسخ ، على قلى بن حاجى محمد ، جمعه 18 ربيع الاول 1235 ، جلد : تيماج مشكى ساده ، 90 برگ ، 21 سطر 4786 ) نسخه شماره : 1 / 5413 - 83 / 27 حقيقت و مجاز ، نسخ ، محمد على بن قربانعلى ، 1270 ، جلد : تيماج مشكى ، ضربى با ترنج باسر ، جدول دار ، 95 برگ ، 19 سطر ، 15 * 20 سم 4787 ) نسخه شماره : 6609 - 159 / 33 نسخ ، محمد ابراهيم بن ميرزا عبدالمجيد حسب الامر ميرزا محمد ، پنجشنبه 25 رمضان 1253 ، عناوين ونشانيها شنگرف ، درحاشيه تصحيح شده است ، دراول نسخه قطعه اى از منظومه اثناعشريه سيد بحرالعلوم دررثاى سيدالشهداء ( ع ) درج شده است با سرآغاز : الله اكبر ما ذا الحادث الجلل . ، جلد : تيماج مشكى ، 151 برگ ، 14 سطر 4788 ) نسخه شماره : 1 / 6692 - 62 / 34